Automated theorem proving - PDFSEARCH.IO - Document Search Engine

Automated theorem proving
Results: 768

#	Item
541	Tech Digest Figure Template_1 column_01-06-12 Add to Reading List Source URL: techdigest.jhuapl.edu Language: English - Date: 2013-09-26 17:40:05 Lisp programming language Functional languages Formal methods Automated theorem proving Procedural programming languages ACL2 Lisp Formal verification Nqthm Computing Software engineering Computer programming
542	Clause Trees: a Tool for Understanding and Implementing Resolution in Automated Reasoning J. D. Horton and Bruce Spencer University of New Brunswick, Fredericton, New Brunswick, Canada E3B 5A3 email : [removed] and bspe Add to Reading List Source URL: www.cs.unb.ca Language: English - Date: 2004-08-23 10:57:49 Logic programming Automated theorem proving Rules of inference Clause Predicate logic Propositional calculus Resolution Tree SLD resolution Mathematical logic Logic Mathematics
543	DOC Document Add to Reading List Source URL: www.gresham.ac.uk Language: English - Date: 2013-09-13 11:25:03 Proof theory Mathematical proofs Automated theorem proving Theorem Mathematical induction Conjecture Kepler conjecture Four color theorem Proof Mathematics Logic Mathematical logic
544	Build proof tree for Natural Deduction, Sequent Calculus, etc. Paul Taylor Department of Computing, Imperial College, London SW7 2BZ Add to Reading List Source URL: osl.ugr.es Language: English - Date: 2006-03-19 11:02:00 Sequent calculus Constructible universe Logic Mathematics Proof theory Mathematical logic Automated theorem proving
545	Build proof tree for Natural Deduction, Sequent Calculus, etc. Paul Taylor Department of Computing, Imperial College, London SW7 2BZ Add to Reading List Source URL: ctan.yazd.ac.ir Language: English - Date: 2006-03-19 11:02:00 Sequent calculus Constructible universe Logic Mathematics Proof theory Mathematical logic Automated theorem proving
546	Build proof tree for Natural Deduction, Sequent Calculus, etc. Paul Taylor Department of Computing, Imperial College, London SW7 2BZ Add to Reading List Source URL: mirror.ibcp.fr Language: English - Date: 2006-03-19 11:02:00 Sequent calculus Constructible universe Logic Mathematics Proof theory Mathematical logic Automated theorem proving
547	Build proof tree for Natural Deduction, Sequent Calculus, etc. Paul Taylor Department of Computing, Imperial College, London SW7 2BZ Add to Reading List Source URL: ctan.mines-albi.fr Language: English - Date: 2006-03-19 11:02:00 Sequent calculus Constructible universe Logic Mathematics Proof theory Mathematical logic Automated theorem proving
548	Build proof tree for Natural Deduction, Sequent Calculus, etc. Paul Taylor Department of Computing, Imperial College, London SW7 2BZ Add to Reading List Source URL: ftp.cvut.cz Language: English - Date: 2006-03-19 11:02:00 Sequent calculus Constructible universe Logic Mathematics Proof theory Mathematical logic Automated theorem proving
549	Build proof tree for Natural Deduction, Sequent Calculus, etc. Paul Taylor Department of Computing, Imperial College, London SW7 2BZ Add to Reading List Source URL: ctan.math.washington.edu Language: English - Date: 2006-03-19 11:02:00 Sequent calculus Constructible universe Logic Mathematics Proof theory Mathematical logic Automated theorem proving
550	Build proof tree for Natural Deduction, Sequent Calculus, etc. Paul Taylor Department of Computing, Imperial College, London SW7 2BZ Add to Reading List Source URL: mirror.neu.edu.cn Language: English - Date: 2006-03-19 11:02:00 Sequent calculus Constructible universe Logic Mathematics Proof theory Mathematical logic Automated theorem proving

UPDATE